/**
 *  内核初始化 
 */
#include "comm/boot_info.h"
#include "cpu/cpu.h"

void kernel_init(boot_info_t *boot_info)
{
    // 初始化CPU,再重新加载
    cpu_init();
    for (;;)
    {
    }
}